Meaningless terms in
نویسندگان
چکیده
We present an axiomatic approach to meaninglessness in nite and transsnite term rewriting and lambda calculus. We justify our axioms in two ways. First, they are shown to imply important properties of mean-inglessness: genericity of the class of meaningless terms, the consistency of equating all meaningless terms, and the construction of BB ohm trees. Second we show that they can be easily veriied for existing notions of meaningless-ness.
منابع مشابه
On Undefined and Meaningless in Lambda Definability
We distinguish between undefined terms as used in lambda definability of partial recursive functions and meaningless terms as used in infinite lambda calculus for the infinitary terms models that generalise the Böhm model. While there are uncountable many known sets of meaningless terms, there are four known sets of undefined terms. Two of these four are sets of meaningless terms. In this paper...
متن کاملWeakening the Axiom of Overlap in Infinitary Lambda Calculus
In this paper we present a set of necessary and sufficient conditions on a set of lambda terms to serve as the set of meaningless terms in an infinitary bottom extension of lambda calculus. So far only a set of sufficient conditions was known for choosing a suitable set of meaningless terms to make this construction produce confluent extensions. The conditions covered the three main known examp...
متن کاملDecomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus
The notion of a meaningless set has been defined for infinitary lambda calculus axiomatically. Standard examples of meaningless sets are sets of terms that have no head normal form, the set of terms without weak head normal form and the set of rootactive terms. The collection of meaningless sets is a lattice. In this paper, we study the way this lattices decompose as union of more elementary ke...
متن کاملMeaningless Terms in Rewriting
We present an axiomatic approach to the concept of meaninglessness in finite and transfinite term rewriting and lambda calculus. We justify our axioms in several ways. They can be intuitively justified from the viewpoint of rewriting as computation. They are shown to imply important properties of meaninglessness: genericity of the class of meaningless terms, confluence modulo equality of meanin...
متن کاملIdentitas: A Better Way To Be Meaningless
It is often recommended that identifiers for ontology terms should be semantics-free or meaningless. In practice, ontology developers tend to use numeric identifiers, starting at 1 and working upwards. Here we describe a number of significant flaws to this scheme, and the alternatives to them which we have implemented in our library,
متن کامل